41. Optimization methods for logical inference
Author: / Vijay Chandru, John Hooker
Library: Library of Economics (Tehran)
Subject: Combinatorial Optimization,Logic, symbolic and mathematical
Classification :
QA
402
.
5
.
C44
1999
42. Pacific Symposium on Biocomputing 2004 :
Author: edited by Russ B. Altman [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Biology-- Computer simulation, Congresses.,Biology-- Mathematical models, Congresses.,Molecular biology-- Computer simulation, Congresses.,Molecular biology-- Mathematical models, Congresses.,Biology-- Computer simulation.,Biology-- Mathematical models.,Molecular biology-- Computer simulation.,Molecular biology-- Mathematical models.,NATURE-- Reference.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.
Classification :
QH323
.
5
.
P33
2004eb
43. Philosophical grammar /
Author: Ludwig Wittgenstein ; edited by Rush Rhees ; translated by Anthony Kenny.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Grammar, Comparative and general.,Inference.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
44. Philosophical grammar
Author: Wittgenstein, Ludwig
Library: Library of Mofid University (Qom)
Subject: ، Grammar, Comparative and general,، Logic, Symbolic and mathematical,، Inference,Philosophy ، Mathematics
Classification :
B3376
.
W563
P52613
1974
45. Philosophical grammar
Author: Ludwig Wittgenstein
Library: Library of Faculty of Literature and Humanities Sciences of Kashan University (Esfahan)
Subject: Wittgenstein, Ludwig, 1889 - 1951,Grammar, Comparative and general,Logic, Symbolic and mathematical,Inference,Mathematics, Philosophy
Classification :
193
W831PR
46. Philosophikē grammatikē /
Author: Ludwig Wittgenstein ; eisagōgē, metaphrasē, scholia: Kōstēs Kōvaios.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Grammar, Comparative and general.,Inference.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Grammar, Comparative and general.,Inference.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
47. Philosophische Grammatik. Hrsg. von Rush Rhees.
Author: Wittgenstein
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Grammar, Comparative and general.,Logic, Symbolic and mathematical,Inference(Logic),Mathematics -- Philosophy.
Classification :
B
3376
.
W56P526
1969
48. Philosophische Grammatik. Hrsg. von Rush Rhees
Author: Wittgenstein
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Grammar, Comparative and general,Logic, Symbolic and mathematical,Inference (Logic),Mathematics--Philosophy
Classification :
B
3376
.
W563P526
1969
49. Probabilistic Logics and Probabilistic Networks
Author: / by Rolf Haenni ... [et al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Probabilities,Mathematical statistics,Logic, Symbolic and mathematical
Classification :
QA273
.
P795
2011
50. Probabilistic logics and probabilistic networks
Author: / by Rolf Haenni ... [et al]
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Probabilities,Mathematical statistics,Logic, Symbolic and mathematical
Classification :
E-BOOK
51. Probabilistic logics and probabilistic networks
Author: by Rolf Haenni ... [et al]&
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Probabilities,Mathematical statistics,Logic, Symbolic and mathematical
Classification :
QA
،
273
،.
P7952
،
2011
52. Proceedings of the International Conference on Artificial Neural Networks :
Author: ICANN '93. Ed. by Stan Gielen ...
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
53. The Big Typescript, TS. 213 /
Author: Ludwig Wittgenstein ; edited and translated by C. Grant Luckhardt and Maximilian Aue
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics-- Philosophy,Semantics (Philosophy)
Classification :
B3376
.
W563
B4713
2005
54. Theorem proving with analytic tableaux and related methods :
Author: Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Nonclassical mathematical logic -- Congresses.
Classification :
QA76
.
9
.
A96
P484
1995
55. Traffic Control and Transport Planning:
Author: by Dušan Teodorović, Katarina Vukadinović.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Civil engineering.,Logic, Symbolic and mathematical.,Mathematics.,Regional economics.
56. Trends in mathematics and computational intelligence /
Author: Maria Eugenia Cornejo, Laszlo T. Koczy, Jesus Medina, Antonio Eduardo De Barros Ruano, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational intelligence.,Computational intelligence.
Classification :
Q342
.
T74
2019eb
57. Truth, possibility and probability : new logical foundations of probability and statistical inference
Author: Rolando Chuaqui
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
C58
1991
58. Uncertain inference
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Uncertainty (Information theory) ; Probabilities. ; Logic, Symbolic and mathematical. ;
59. Uncertain inference
Author: / Henry E. Kyburg, Jr. and Choh Man Teng
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Uncertainty (Information theory),Probabilities,Logic, Symbolic and mathematical
Classification :
Q375
.
K93
2001
60. Uncertain inference
Author: / Henry E. Kyburg, Jr. and Choh Man Teng
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Uncertainty (Information theory),Probabilities.,Logic, Symbolic and mathematical.
Classification :
Q
,
375
,.
K93
,
2001
